VDict mobile



polymorphic recursion not found. Suggestions:

tail recursion optimisation
tail recursion
recursion
Poly
SML#
mutual recursion
PPL
conversion to iteration
Xfun
polymorphic lambda-calculus